Belief Update Methods and Rules—Some Comparisons
نویسندگان
چکیده
منابع مشابه
Update, Probability, Knowledge and Belief
The paper compares two kinds of models for logics of knowledge and belief, neighbourhood models and epistemic weight models. We give sound and complete calculi for both, and we show that our calculus for neighbourhood models is sound but not complete for epistemic weight models. Epistemic weight models combine knowledge and probability by using epistemic accessibility relations and weights to d...
متن کاملActions , belief update , and DDL ∗
Two prominent topics in Krister Segerberg’s works are, on the one hand, actions, and on the other hand, belief change. Both topics are connected in multiple ways; one of these connections is via KGM belief update, since, as we argue, belief update is a specific case of feedback-free action progression. We discuss the links between update and action, and, starting from Segerberg’s works, discuss...
متن کاملPrime Implicants and Belief Update
Adaptation is one of the most important capabilities that an intelligent agent should present. In order to provide this capability to logical-based agents, the Belief Change area proposes methods to incorporate new information in a belief set. Properties like consistency and minimal change guide the change process. The notion of minimal change is usually associated with a closeness criterion ba...
متن کاملGenome Update: proteome comparisons.
Genomes of the month Four new genomes will be discussed in this month’s Genome Update. The list of organisms given in Table 1 includes an archaeon, two bacteria and an eukaryote. Two genomes will only be mentioned briefly. The protozoan Cryptosporidium hominis causes gastroenteritis and diarrhoea around the world. Like the Cryptosporidium parvum genome (Abrahamsen et al., 2004), that of C. homi...
متن کاملBelief Update Using Graphs
The purpose of this paper is to introduce a form of update based on the minimization of the geodesic distance on a graph. We provide a characterization of this class using settheoretic operators and show that such operators bijectively correspond to geodesic metrics. As distance is generated by distinguishability, our framework is appropriate in contexts where distance is generated by threshold...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ergo, an Open Access Journal of Philosophy
سال: 2016
ISSN: 2330-4014
DOI: 10.3998/ergo.12405314.0003.011